Luca Cardelli: search on Z-Library

Fundraising September 15, 2024 – October 1, 2024 About fundraising

Your gateway to knowledge and culture. Accessible for everyone.

Fundraising September 15, 2024 – October 1, 2024

Z-Library is one of the largest online libraries in the world that contains over 17,000,000 books and 84,837,000 articles. We aim to make literature accessible to everyone. Today (September 15, 2024) we've started additional fundraising to project maintenance and development.

Also UNLIMITED downloads (for 31 days after the day of making donation) are available for ALL contributors who will donate during the fundraising period till October 1, 2024.

About fundraisingRead more

Make a donation

Books (23)
Most Popular
List
- List
- Table

1

A theory of Objects

A theory of Objects

Martín Abadi, Luca Cardelli

Year:

1996

Language:

english

File:

PDF, 25.93 MB

5.0 / 5.0

english, 1996

2

A theory of objects

A theory of objects

Martín Abadi, Luca Cardelli

Year:

1996

Language:

english

File:

DJVU, 3.04 MB

0 / 0

english, 1996

3

Typeful programming

Typeful programming

Digital Systems Research Center

Year:

1989

Language:

english

File:

PDF, 230 KB

0 / 0

english, 1989

4

DNA Computing and Molecular Programming: 17th International Conference, DNA 17, Pasadena, CA, USA, September 19-23, 2011. Proceedings

DNA Computing and Molecular Programming: 17th International Conference, DNA 17, Pasadena, CA, USA, September 19-23, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Vincent Danos, Heinz Koeppl, John Wilson-Kanamori (auth.), Luca Cardelli, William Shih (eds.)

Year:

2011

Language:

english

File:

PDF, 4.94 MB

0 / 0

english, 2011

5

DNA Computing and Molecular Programming: 17th International Conference, DNA 17, Pasadena, CA, USA, September 19-23, 2011. Proceedings

DNA Computing and Molecular Programming: 17th International Conference, DNA 17, Pasadena, CA, USA, September 19-23, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Vincent Danos, Heinz Koeppl, John Wilson-Kanamori (auth.), Luca Cardelli, William Shih (eds.)

Year:

2011

Language:

english

File:

PDF, 5.68 MB

0 / 0

english, 2011

6

Programming Languages and Systems: 10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings

Programming Languages and Systems: 10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings

Springer-Verlag Berlin Heidelberg

Luca Cardelli, Giorgio Ghelli (auth.), David Sands (eds.)

Year:

2001

Language:

english

File:

PDF, 2.76 MB

0 / 0

english, 2001

7

Programming Languages and Systems — ESOP '94: 5th European Symposium on Programming Edinburg, U.K., April 11–13, 1994 Proceedings

Programming Languages and Systems — ESOP '94: 5th European Symposium on Programming Edinburg, U.K., April 11–13, 1994 Proceedings

Springer-Verlag Berlin Heidelberg

Martín Abadi, Luca Cardelli (auth.), Donald Sannella (eds.)

Year:

1994

Language:

english

File:

DJVU, 4.20 MB

0 / 0

english, 1994

8

Mobile Object Systems Towards the Programmable Internet: Second International Workshop, MOS'96 Linz, Austria, July 8–9, 1996 Selected Presentations and Invited Papers

Mobile Object Systems Towards the Programmable Internet: Second International Workshop, MOS'96 Linz, Austria, July 8–9, 1996 Selected Presentations and Invited Papers

Springer-Verlag Berlin Heidelberg

Luca Cardelli (auth.), Jan Vitek, Christian Tschudin (eds.)

Year:

1997

Language:

english

File:

DJVU, 3.64 MB

0 / 0

english, 1997

9

Theoretical Aspects of Computer Software: 4th International Symposium, TACS 2001 Sendai, Japan, October 29–31, 2001 Proceedings

Theoretical Aspects of Computer Software: 4th International Symposium, TACS 2001 Sendai, Japan, October 29–31, 2001 Proceedings

Springer-Verlag Berlin Heidelberg

Luís Caires, Luca Cardelli (auth.), Naoki Kobayashi, Benjamin C. Pierce (eds.)

Year:

2001

Language:

english

File:

PDF, 5.23 MB

0 / 0

english, 2001

10

Theoretical Aspects of Computing – ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings

Theoretical Aspects of Computing – ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings

Springer-Verlag Berlin Heidelberg

Luca Cardelli, Radu Mardare (auth.), Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.)

Year:

2013

Language:

english

File:

PDF, 5.32 MB

0 / 0

english, 2013

11

Theory of Distributed Objects: A Practical Framework for Reasoning about Asynchronous Communications, Determinism, Mobility, and Components

Theory of Distributed Objects: A Practical Framework for Reasoning about Asynchronous Communications, Determinism, Mobility, and Components

Denis Caromel, Ludovic Henrio, Luca Cardelli

Year:

2005

Language:

english

File:

PDF, 8.44 MB

0 / 0

english, 2005

12

DNA Computing and Molecular Programming: 17th International Conference, DNA 17, Pasadena, CA, USA, September 19-23, 2011. Proceedings

DNA Computing and Molecular Programming: 17th International Conference, DNA 17, Pasadena, CA, USA, September 19-23, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Vincent Danos, Heinz Koeppl, John Wilson-Kanamori (auth.), Luca Cardelli, William Shih (eds.)

Year:

2011

Language:

english

File:

PDF, 4.63 MB

0 / 0

english, 2011

13

Transactions on Computational Systems Biology IV

Transactions on Computational Systems Biology IV

Springer-Verlag Berlin Heidelberg

Robin Milner (auth.), Corrado Priami, Luca Cardelli, Stephen Emmott (eds.)

Year:

2006

Language:

english

File:

PDF, 3.78 MB

0 / 0

english, 2006

14

Internet Programming Languages: ICCL’98 Workshop Chicago, IL, USA, May 13, 1998 Proceedings

Internet Programming Languages: ICCL’98 Workshop Chicago, IL, USA, May 13, 1998 Proceedings

Springer-Verlag Berlin Heidelberg

Peter Sewell, Pawel T. Wojciechowski, Benjamin C. Pierce (auth.), Henri E. Bal, Boumediene Belkhouche, Luca Cardelli (eds.)

Year:

1999

Language:

english

File:

PDF, 1.39 MB

0 / 0

english, 1999

15

Transactions on Computational Systems Biology IV

Transactions on Computational Systems Biology IV

Springer-Verlag Berlin Heidelberg

Robin Milner (auth.), Corrado Priami, Luca Cardelli, Stephen Emmott (eds.)

Year:

2006

Language:

english

File:

PDF, 3.66 MB

0 / 0

english, 2006

16

Research Issues in Structured and Semistructured Database Programming: 7th International Workshop on Database Programming Languages, DBPL’99 Kinloch Rannoch, UK, September 1–3,1999 Revised Papers

Research Issues in Structured and Semistructured Database Programming: 7th International Workshop on Database Programming Languages, DBPL’99 Kinloch Rannoch, UK, September 1–3,1999 Revised Papers

Springer-Verlag Berlin Heidelberg

Luca Cardelli (auth.), Richard Connor, Alberto Mendelzon (eds.)

Year:

2000

Language:

english

File:

PDF, 3.18 MB

0 / 0

english, 2000

17

Theoretical Aspects of Computing – ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings

Theoretical Aspects of Computing – ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings

Springer-Verlag Berlin Heidelberg

Luca Cardelli, Radu Mardare (auth.), Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.)

Year:

2013

Language:

english

File:

PDF, 4.73 MB

0 / 0

english, 2013

18

ECOOP 2003 – Object-Oriented Programming: 17th European Conference, Darmstadt, Germany, July 21-25, 2003. Proceedings

ECOOP 2003 – Object-Oriented Programming: 17th European Conference, Darmstadt, Germany, July 21-25, 2003. Proceedings

Springer-Verlag Berlin Heidelberg

Martín Abadi (auth.), Luca Cardelli (eds.)

Year:

2003

Language:

english

File:

PDF, 4.98 MB

0 / 0

english, 2003

19

Advances in Database Technology—EDBT '88: International Conference on Extending Database Technology Venice, Italy, March 14–18, 1988 Proceedings

Advances in Database Technology—EDBT '88: International Conference on Extending Database Technology Venice, Italy, March 14–18, 1988 Proceedings

Springer-Verlag Berlin Heidelberg

Luca Cardelli (auth.), J. W. Schmidt, S. Ceri, M. Missikoff (eds.)

Year:

1988

Language:

english

File:

DJVU, 7.88 MB

0 / 5.0

english, 1988

20

Internet Programming Languages: ICCL’98 Workshop Chicago, IL, USA, May 13, 1998 Proceedings

Internet Programming Languages: ICCL’98 Workshop Chicago, IL, USA, May 13, 1998 Proceedings

Springer-Verlag Berlin Heidelberg

Peter Sewell, Pawel T. Wojciechowski, Benjamin C. Pierce (auth.), Henri E. Bal, Boumediene Belkhouche, Luca Cardelli (eds.)

Year:

1999

Language:

english

File:

PDF, 3.35 MB

0 / 0

english, 1999

21

Programming Languages and Systems — ESOP '94: 5th European Symposium on Programming Edinburg, U.K., April 11–13, 1994 Proceedings

Programming Languages and Systems — ESOP '94: 5th European Symposium on Programming Edinburg, U.K., April 11–13, 1994 Proceedings

Springer-Verlag Berlin Heidelberg

Martín Abadi, Luca Cardelli (auth.), Donald Sannella (eds.)

Year:

1994

Language:

english

File:

PDF, 7.96 MB

0 / 0

english, 1994

22

Programming Languages and Systems: 10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings

Programming Languages and Systems: 10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings

Springer-Verlag Berlin Heidelberg

Luca Cardelli, Giorgio Ghelli (auth.), David Sands (eds.)

Year:

2001

Language:

english

File:

PDF, 4.32 MB

0 / 0

english, 2001

23

Research Issues in Structured and Semistructured Database Programming: 7th International Workshop on Database Programming Languages, DBPL’99 Kinloch Rannoch, UK, September 1–3,1999 Revised Papers

Research Issues in Structured and Semistructured Database Programming: 7th International Workshop on Database Programming Languages, DBPL’99 Kinloch Rannoch, UK, September 1–3,1999 Revised Papers

Springer-Verlag Berlin Heidelberg

Luca Cardelli (auth.), Richard Connor, Alberto Mendelzon (eds.)

Year:

2000

Language:

english

File:

PDF, 8.94 MB

0 / 0

english, 2000